Symmetric Monoidal Categories with Attributes

When designing plans in engineering, it is often necessary to consider attributes associated objects, e.g. the location of a robot. Our aim this paper incorporate into existing categorical formalisms for planning, namely those based on symmetric monoidal categories and string diagrams. To accomplish this, we define notion "symmetric category with attributes." This which objects are equipped retrievable information where interactions between governed by an "attribute structure." We discuss examples semantics such context robotics illustrate our definition.